COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20
C00005 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;
\F1
									18215 Bayview Drive
									Los Gatos, California 95030
									January 19, 1979



H. A. Smith, chairman
Department of Mathematics
Arizona State University
Tempe, Arizona 85281


Dear Professor Smith:

\J
I am a graduate student at the University of California, Santa Cruz, doing thesis
research in program synthesis under the direction of Dr. Sharon Sickel.  I expect
to complete my Ph.D. degree in March and lecture at UCSC during the Spring
Quarter this year.

I wish to pursue a career in university research and teaching.
My research interests include programming languages and methodology, and
the mathematical theory of computation.
I believe research activity is nourished by educational interaction; both teacher
and student can gain creative insights from the careful detailing of subject
matter. 
  I am currently involved in guiding
an undergraduate research group that is investigating logic as a programming language.

I enjoy teaching and am concerned about the quality of
computer science education.  I would actively encourage a program which develops
mathematical sophistication in computer science courses.  Subjects such as
computational logic and mathematical semantics of programming languages 
enhance rigor and precision in the study of computer science.

If your department has a faculty position for Fall 1979 in which you feel that 
our interaction may be mutually
advantageous, please contact me.  My curriculum vita is enclosed; feel free to
request any additional information you may require.
\.
\←L\→S\←R\-L\/'2;\+L\→L

Yours sincerely,



Ruth E. Davis

\←S\→L